Methods of building mathematical models ofactuarial processes

Mathematical Models and Control of Catastrophic Processes

Building Qualitative Models of Thermodynamic Processes

This paper describes a qualitative domain theory for core phenomena in engineering thermodynamics, expressed in Qualitative Process theory . It represents many of the best features of domain models developed by our group over the past five years . It focuses on supporting system-level qualitative analyses of typical fluid and thermal systems, such as refrigerators and power plants . We use expl...

A Quantitive evaluation of sonar models and mathematical update methods for Map Building with mobile robots

A wide range of sonar models and map update methods have been developed by researchers to create a map of an environment using a mobile robot. However these are generally developed in isolation from each other, and are rarely compared directly with other map building methods. When they are, either qualitative methods are applied, or the comparisons are based on different test data, making it pr...

Symplectic and symmetric methods for the numerical solution of some mathematical models of celestial objects

In the last years, the theory of numerical methods for system of non-stiff and stiff ordinary differential equations has reached a certain maturity. So, there are many excellent codes which are based on Runge–Kutta methods, linear multistep methods, Obreshkov methods, hybrid methods or general linear methods. Although these methods have good accuracy and desirable stability properties such as A...

On Building Workflow Models for Flexible Processes

Process support systems, such as workflows, are being used in a variety of domains. However, most areas of application have focused on traditional production-style processes, which are characterized by predictability and repetitiveness. Application in non-traditional domains with highly flexible process is still largely unexplored. Such flexible processes are characterized by lack of ability to...